1. A Concise Introduction to Mathematical Logic
پدیدآورنده: by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. Advanced concepts for intelligent vision systems :
پدیدآورنده: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
3. Advances in Dynamic Games and Applications
پدیدآورنده: edited by Tamer Başar, Alain Haurie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Distribution (Probability theory).,Mathematics.
4. Advances in Dynamic Games and Applications
پدیدآورنده: edited by Eitan Altman, Odile Pourtallier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Systems theory.
5. Advances in algebra and analysis :
پدیدآورنده: V. Madhu, A. Manimaran, D. Easwaramoorthy, D. Kalpanapriya, M. Mubashir Unnissa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Congresses.,Mathematical analysis, Congresses.,Algebra.,Analysis.,Operations Research, Management Science.,Statistical Theory and Methods.,Algebra.,Mathematical analysis.
رده :
QA150
6. Advances in bioinformatics and computational biology :
پدیدآورنده: Ronnie Alves (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
7. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /
پدیدآورنده: Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.
رده :
QA402
.
5
8. Advances in mathematical methods and high performance computing /
پدیدآورنده: Vinai K. Singh, David Gao, Andreas Fischer, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: High performance computing-- Mathematics.,Computer science.,Hydraulic engineering.,Numerical analysis.
رده :
QA76
.
88
9. Algebra and Coalgebra in Computer Science :
پدیدآورنده: José Luis Fiadeiro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
10. Algorithmic aspects in information and management :
پدیدآورنده: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
رده :
QA76
.
9
.
A43
11. Algorithms and Model Formulations in Mathematical Programming
پدیدآورنده: edited by Stein W. Wallace.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Numerical analysis.
رده :
T57
.
7
E358
1989
12. Algorithms and model formulations in mathematical programming
پدیدآورنده: edited by Stein W. Wallace
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming )Mathematics(,Congresses ، Mathematical models
رده :
T
57
.
7
.
N36
1987
13. Algorithms and model formulations in mathematical programming
پدیدآورنده: Editeed by Stein w. Wallace
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Programming )Mathematics(, Congresses,، Mathematical models, Congresses
رده :
T
57
.
7
.
N38A54
1987
14. Algorithms for Continuous Optimization :
پدیدآورنده: edited by Emilio Spedicato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing.,Information theory.,Mathematics.
رده :
QA402
.
5
E358
1994
15. Algorithms for Parallel Processing
پدیدآورنده: edited by Michael T. Heath, Abhiram Ranade, Robert S. Schreiber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer software.,Mathematics.,Numerical analysis.
16. Algorithms & model formulations in mathematical programming
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING )MATHEMATICS(-CONGRESSES , MATHEMATICAL MODELS-CONGRESSES
رده :
T
57
.
7
.
N36
1987
17. Algrithms and model formulation in mathematical programming
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming (Mathematics)- congresses ► Mathematical models- Congresses
رده :
519
A396
18. An Introduction to Linear and Nonlinear Finite Element Analysis
پدیدآورنده: by Prem K. Kythe, Dongming Wei.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Engineering.,Mathematics.
19. An introduction to computational science /
پدیدآورنده: Allen Holder, Joseph Eichholz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Computer simulation.,Mathematical models.,Computational complexity.,Computer science.,Computer simulation.,Mathematical models.
رده :
QA76
.
6
.
H65
2019eb
20. Analytics and optimization for renewable energy integration /
پدیدآورنده: Ning Zhang, Chongqing Kang, Ershun Du, Yi Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Renewable energy sources.,Renewable resource integration.,Renewable energy sources.,Renewable resource integration.,SCIENCE-- Energy.,TECHNOLOGY & ENGINEERING-- Mechanical.,TECHNOLOGY-- Electricity.
رده :
TJ808
